Definitions
from Wiktionary, Creative Commons Attribution/Share-Alike License.
- noun A form of
symbolic logic used to reason aboutproperties ofstatements related toorder andduration .
Etymologies
Sorry, no etymologies found.
Support
Help support Wordnik (and make this page ad-free) by adopting the word temporal logic.
Examples
Sorry, no example sentences found.
whichbe commented on the word temporal logic
Temporal logic is used to describe any system of rules and symbolism for representing, and reasoning about, propositions qualified in terms of time. It is sometimes also used to refer to tense logic, a particular modal logic-based system of temporal logic introduced by Arthur Prior in the 1960s. Subsequently it has been developed further by computer scientists, notably Amir Pnueli, and logicians. (Wikipedia)
May 22, 2008